منابع مشابه
A Closed-loop quantitative verification of rate-adaptive pacemakers
Rate-adaptive pacemakers are cardiac devices able to automatically adjust the pacing rate in patients with chronotropic incompetence, i.e. whose heart is unable to provide an adequate rate at increasing levels of physical, mental or emotional activity. These devices work by processing data from physiological sensors in order to detect the patient’s activity and update the pacing rate accordingl...
متن کاملQuantitative verification of implantable cardiac pacemakers over hybrid heart models
Article history: Available online xxxx
متن کاملClosed-loop adaptive image segmentation
One of the fundamental weaknesses of current computer vision systems used in outdoor applications is their inability to adapt the segmentation process as real-world changes occur in the image. We present a closed loop image segmentation system that incorporates a genetic algorithm to adapt the segmentation process to changes in image characteristics caused by variable environmental conditions. ...
متن کاملAdaptive Closed-loop Phase Source
Nowadays, more and more researchers pay attention to phased array antennas, which play an important role in the fields of radio frequency identification (RFID), radar, and wireless communications because of their wonderful characteristics of beam forming. In order to maintain good performance in phase shift and feasibility, many techniques have been applied. Such as an electronic phase control ...
متن کاملSimulation and Experimental Verification of Closed Loop Operation of Buck / Boost DC-DC Converter with Soft Switching
A major problem in an isolated DC/DC converters operating at high switching frequencies is the attendant switching losses in the semiconductor devices. This can be reduced by introducing either zero-voltage switching (ZVS) or zero-current switching (ZCS) of the semiconductor switches. This paper deals with the simulation, design, fabrication and experimental evaluation of a novel soft-switching...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Cyber-Physical Systems
سال: 2018
ISSN: 2378-962X,2378-9638
DOI: 10.1145/3152767